Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
841	SIMULATION HIGHWAY SUMMARY Simulation is used if a desired objects analysis using analytical solutions is cumbered, i.e., there are numerous important factors which are mainly stochastic. Using the above mentioned techn Add to Reading List Source URL: www.socsimnet.com Language: English - Date: 2011-01-02 16:32:00 Military terminology Electronic engineering Scientific modeling Science Operations research Simulation Social simulation Agent-based model Logic simulation Military technology Modeling and simulation Digital electronics
842	Substitutional Quantifiers John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 13:16:19 Semantics Model theory Metalogic Interpretation Quasi-quotation Truth-value semantics Constructible universe Well-formed formula Quantification Logic Mathematical logic Formal languages
843	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
844	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem: Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2014-11-21 09:25:33 Logic in computer science Electronic design automation Formal methods NP-complete problems Model theory Satisfiability Modulo Theories Satisfiability Boolean satisfiability problem Decision problem Theoretical computer science Mathematics Mathematical logic
845	Evaluating and Managing Fragmentation, Overlap, and Duplication GAO-15-49SP Tip Sheet 4: Information on and Resources for Designing Evaluations Step 3 of this guide states that analysts should conduct a new evaluation i Add to Reading List Source URL: gao.gov Language: English - Date: 2015-04-14 08:58:07 Science Impact assessment Program evaluation Logic model Performance measurement Systems engineering process Impact evaluation Empowerment evaluation Evaluation Evaluation methods Sociology
846	A NATIONAL RESOURCECENTER GUIDE FOR FOREARLY HEARING Add to Reading List Source URL: infanthearing.org Language: English - Date: 2015-03-06 23:38:50 Methodology Program evaluation Logic model Maternal and Child Health Bureau Screening Early childhood intervention Empowerment evaluation Impact evaluation Evaluation Evaluation methods Sociology
847	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
848	Microsoft Word - evaluation guidance document.doc Add to Reading List Source URL: www.drugmisuse.isdscotland.org Language: English Methodology Logic model Impact evaluation Program evaluation Evaluation methods Evaluation Sociology
849	Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:33 Multi-agent systems Ethology Epistemic modal logic Modal logic Action theory Cognitive robotics Agent-based model Motivation Artificial intelligence Science Logic
850	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming

UPDATE